منابع مشابه
Extended Conscriptions Algebraically
Conscriptions are a model of sequential computations with assumption/commitment specifications in which assumptions can refer to final states, not just to initial states. We show that they instantiate existing algebras for iteration and infinite computations. We use these algebras to derive an approximation order for conscriptions and one for extended conscriptions, which additionally represent...
متن کاملAlgebraically Extended 2d Image Representation
This paper presents an algebraically extended 2D image representation. Combining methods of tensor algebra, monogenic signal and quadrature filter, this novel image representation can be derived as the monogenic extension of a curvature tensor. From it, the monogenic signal and the monogenic curvature signal for modeling intrinsically one and two dimensional (i1D/i2D) structures are obtained as...
متن کاملMulti-Dimensional Signal Processin Using an Algebraically Extended Signal Representation
Many concepts that are used in multi{dimensional signal processing are derived from one{dimensional signal processing. As a consequence , they are only suited to multi{dimensional signals which are intrinsically one{dimensional. We claim that this restriction is due to the restricted algebraic frame used in signal processing, especially to the use of the complex numbers in the frequency domain....
متن کاملAlgebraically Periodic Translation Surfaces
Translation surfaces arise in complex analysis, the classification of surface diffeomorphisms and the study of polygonal billiards. In recent years there have been some notable advances in understanding their properties. In particular Calta and McMullen have made significant advances in understanding translation structures in genus 2. This paper is motivated by our desire to reformulate and ext...
متن کاملAlgebraically Coherent Categories
We call a nitely complete category algebraically coherent if the change-ofbase functors of its bration of points are coherent, which means that they preserve nite limits and jointly strongly epimorphic pairs of arrows. We give examples of categories satisfying this condition; for instance, coherent categories, categories of interest in the sense of Orzech, and (compact) Hausdor algebras over a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2013
ISSN: 0167-6423
DOI: 10.1016/j.scico.2012.07.009